package derivable;

/**
 * @author Henrik Wall
 * @author Rudolf Schmidt
 * @author Eugen Nemirowski
 */
public interface Derivable<T> {
	/**
	 * Checks whether one derivable derives the other.
	 * 
	 * @param o the other derivable
	 * @return {@code true} if {@code this} derives {@code o}.
	 */
	boolean derives(T o);
}